大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on the Portability of Numerical Software 的图书(共3015本)

Formal Development of a Network-Centric RTOS [electronic resource] : Software Engineering for Reliable Embedded Systems

0
索取号：
作者：Verhulst、 Eric.、Boute、 Raymond T.、Faria、 Jos茅 Miguel Sampaio.、Sputh、 Bernhard H.C.、Mezhuyev、 Vitaliy.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US : Imprint: Springer, 2011.

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems [electronic resource]

0
索取号：
作者：Shafique、 Muhammad.、Henkel、 J枚rg.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York : Imprint: Springer, 2011.

Quantum Dynamic Imaging [electronic resource] : Theoretical and Numerical Methods

0
索取号：
作者：Bandrauk、 Andr茅 D.、Ivanov、 Misha.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2011.

Bond Graph Modelling of Engineering Systems [electronic resource] : Theory, Applications and Software Support

0
索取号：
作者：Borutzky、 Wolfgang.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2011.

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio [electronic resource]

0
索取号：
作者：Okada、 Kenichi.、Kousai、 Shouhei.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2011.

Numerical Ecology with R [electronic resource]

0
索取号：
作者：Borcard、 Daniel.、Gillet、 Francois.、Legendre、 Pierre.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2011.

Advances in Network-Embedded Management and Applications [electronic resource] : Proceedings of the First International Workshop on Network-Embedded Management and Applications

0
索取号：
作者：Clemm、 Alexander.、Wolter、 Ralf.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2011.

New Software Engineering Paradigm Based on Complexity Science [electronic resource] : An Introduction to NSE

0
索取号：
作者：Xiong、 Jay.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2011.

Composing Software Components [electronic resource] : A Software-testing Perspective

0
索取号：
作者：Hamlet、 Dick.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2010.

Software Tools and Algorithms for Biological Systems [electronic resource]

0
索取号：
作者：Arabnia、 Hamid R.、Tran、 Quoc-Nam.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2011.

Software Automatic Tuning [electronic resource] : From Concepts to State-of-the-Art Results

0
索取号：
作者：Naono、 Ken.、Teranishi、 Keita.、Cavazos、 John.、Suda、 Reiji.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York : Imprint: Springer, 2010.

Numerical Methods for Fluid Dynamics [electronic resource] : With Applications to Geophysics

0
索取号：
作者：Durran、 Dale R.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2010.

Synthesis of Embedded Software [electronic resource] : Frameworks and Methodologies for Correctness by Construction

0
索取号：
作者：Shukla、 Sandeep K.、Talpin、 Jean-Pierre.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US : Imprint: Springer, 2010.

A Practical Introduction to Hardware/Software Codesign [electronic resource]

0
索取号：
作者：Schaumont、 Patrick R.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US : Imprint: Springer, 2010.

Numerical Analysis for Statisticians [electronic resource]

0
索取号：
作者：Lange、 Kenneth.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2010.

Open Source Software for Digital Forensics [electronic resource]

0
索取号：
作者：Huebner、 Ewa.、Zanero、 Stefano.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2010.